Yes, nós queremos bananas

Yes, We Got Some Bananas

Yes, we have bananas (and also health statistics data): Brazilian-based medicine.

Carmen Miranda was the most important Brazilian singer just before and after World War II. She was also very popular in the United States, singing and dancing wearing a strange hat full of pineapples and bananas. It was one of the many stereotypes about Brazil and Latin American created by Hollywood filmmakers. In the same way, the epidemiological profile of the Brazilian population has been bl...

Talking Bananas

Session types provide static guarantees that concurrent programs respect communication protocols. We give a novel account of recursive session types in the context of GV, a small concurrent extension of the linear λ-calculus. We extend GV with recursive types and catamorphisms, following the initial algebra semantics of recursion, and show that doing so naturally gives rise to recursive session...

Sex during pregnancy: Yes, Yes, Yes!

Regular readers of this Journal will recall that it was just over a year ago that I was commissioned to explore the issue of ‘Grey Sex’:1 sexuality in the older age group and the challenges that raises for health professionals, not least in leading us to acknowledge that for human beings the sexual impulse does not inevitably fade. Fast forward, and in this Journal issue I want to explore sex a...

Dealing with Large Bananas

Many problems call for a mixture of generic and speci c programming techniques. We propose a polytypic programming approach based on generalised (monadic) folds where a separation is made between basic fold algebras that model generic behaviour and updates on these algebras that model speci c behaviour. We identify particular basic algebras as well as some algebra combinators, and we show how t...